Model-based systems engineering - PDFSEARCH.IO - Document Search Engine

Model-based systems engineering
Results: 389

#	Item
11	APPLICATIONS OF MODEL-BASED SYSTEMS ENGINEERING METHODS TO VEHICLE AND SUBSYSTEM DESIGN AND OPTIMIZATION Dr. Larry Michaels, Shane Halbach, Neeraj Shidore, Aymeric Rousseau Argonne National Laboratory Ground Vehicle Syst Add to Reading List Source URL: www.ndia-mich.org Language: English - Date: 2013-08-19 10:05:26 Simulation software Engineering Simulation Hardware-in-the-loop simulation Model-based design LMS Imagine.Lab Amesim Scientific modeling Systems science Predictive engineering analytics System-level simulation
12	Project ISTRODIN “Rigorous Open Development Environment for Complex Systems” RODIN Deliverable D27 Add to Reading List Source URL: rodin.cs.ncl.ac.uk Language: English - Date: 2007-12-18 04:24:30 Software engineering Unified Modeling Language Computing Engineering Rodin tool Object Process Methodology Metamodeling UML tool Model-based testing Cretan lyra Diagram Profile
13	Building Models of Real-Time Systems from Application Software JOSEPH SIFAKIS, STAVROS TRIPAKIS, ASSOCIATE MEMBER, IEEE, AND SERGIO YOVINE Invited Paper We present a methodology for building timed models of real-time Add to Reading List Source URL: www-verimag.imag.fr Language: English - Date: 2012-12-31 04:25:32 Software engineering Computing Hardware description languages Synchronous programming languages SIGNAL Esterel Real-time computing Actor model Model checking Component-based software engineering Modeling and Analysis of Real Time and Embedded systems Reo Coordination Language
14	Digital Elevation Model Based Watershed and Stream Network Delineation Synopsis of Class 9, GIS in Water Resources Watershed delineation, involving the extraction of hydrologic information from digital elevation models ( Add to Reading List Source URL: www.caee.utexas.edu Language: English - Date: 2014-09-25 01:26:28 Water Physical geography Hydrology Geography Hydraulic engineering Geographic information systems Environmental engineering Digital elevation model Drainage basin Hydrograph National Hydrography Dataset Terrain
15	! ! Call for Papers Editors Mike Papadakis Add to Reading List Source URL: www.sosym.org Language: English - Date: 2015-11-08 05:54:04 Computing Software engineering Software testing Engineering Systems engineering Model-based testing Model-driven engineering Software development Economic model Reliability engineering
16	How Model-Based Design Simplifies the Debugging of Many-Core Systems Iuliana Bacivarov Computer Engineering and Networks Laboratory, ETH Zürich 1st International Workshop on Multicore Application Debugging (MAD) 2013, 1 Add to Reading List Source URL: www.mad-workshop.de Language: English - Date: 2016-03-22 12:43:37 Computing Parallel computing Tile Debugging Embedded system Multi-core processor Thread STR ETH Zurich Computer engineering
17	Call for papers and extended abstracts HILT 2016 Workshop on Model-Based Development and Contract-Based Programming As part of ESWEEK, October 6 & 7, 2016, Pittsburgh, PA Sponsored by ACM SIGAda Add to Reading List Source URL: www.sigada.org Language: English - Date: 2016-07-01 08:40:58 Software engineering Computing Computer programming Systems engineering Ada Model-driven engineering ACL2 SPARK
18	Microsoft Word - O-MaSEMALLOW_LNCSFormat_Final.doc Add to Reading List Source URL: www.pa.icar.cnr.it Language: English - Date: 2011-10-25 11:02:37 Software engineering Scientific modeling Computing Systems science Process management Software development process Formal methods Object Process Methodology Business process modeling Agent-based model Requirement Metamodeling
19	Copyright © The Unicist Research Institute 1 The Unicist Epistemology to deal with Knowledge The Unicist Epistemology is based on the development of the logical foundations and Add to Reading List Source URL: www.unicist.org Language: English - Date: 2015-06-22 14:32:42 Knowledge representation Knowledge engineering Education Systems Cognitive science Knowledge Educational psychology Information science Peter Belohlavek Ontology Conceptual model Complex systems
20	The limits of tractability in Resolution-based propositional proof systems Stefan Dantchev and Barnaby Martin? School of Engineering and Computing Sciences, Durham University, Science Labs, South Road, Durham DH1 3LE, U. Add to Reading List Source URL: www.bedewell.com Language: English - Date: 2010-03-23 07:22:00 Logic Mathematical logic Mathematics Model theory Predicate logic Finite model theory Automated theorem proving Boolean algebra First-order logic Resolution FO Interpretation

UPDATE